antecedent rule

先行规则